contract Lab1 {}
